credit: __runq_tickle takes a useless cpu parameter
authorDario Faggioli <dario.faggioli@citrix.com>
Thu, 18 Feb 2016 14:02:52 +0000 (15:02 +0100)
committerJan Beulich <jbeulich@suse.com>
Thu, 18 Feb 2016 14:02:52 +0000 (15:02 +0100)
commitea034623e434297711706bccfd8995485249ac10
treeb20b2cfa26ba330a463561bddd8ed844067c46ed
parent216a082b10a7c0e40757a6aad075e0cb4f080c7b
credit: __runq_tickle takes a useless cpu parameter

as it is always acts on v->processor of the vcpu that
we are tickling.

Getting rid of it makes the code easier to understand
and better looking.

While there, remove a spurious blank line.

Signed-off-by: Dario Faggioli <dario.faggioli@citrix.com>
Reviewed-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Acked-by: George Dunlap <george.dunlap@citrix.com>
xen/common/sched_credit.c